A Photographic Assignment for Abstract Algebra
نویسنده
چکیده
ALGEBRA Gregory S. Warrington Department of Mathematics & Statistics University of Vermont 16 Colchester Ave. Burlington, VT 05401 USA [email protected] Abstract: We describe a simple photographic assignment appropriate for an abstract algebra (or other) course. Students take digital pictures around campus of various examples of symmetry. They then classify these pictures We describe a simple photographic assignment appropriate for an abstract algebra (or other) course. Students take digital pictures around campus of various examples of symmetry. They then classify these pictures according to which of the 17 plane symmetry groups they belong.
منابع مشابه
Knowledge reduction and matrix computation in inconsistent ordered information systems
Abstract: In this article, assignment reduction and approximation reduction are proposed for Inconsistent Ordered Information Systems (IOIS). The properties and relationships between assignment reduction and approximation reduction are discussed. The dominance matrix and decision assignment matrix are also proposed for information systems based on dominance relations. The algorithm of assignmen...
متن کاملFully abstract models of programming languages
We present a theory of fully abstract denotational semantics of programming languages. Following initial algebra semantics, syntax is specified by manysorted signatures, and models are universal algebras whose carriers are complete partial orders and operations are continuous. The informal requirement that the meanings of iteration and recursion constructs be least fixed points of appropriate u...
متن کاملProgram Verification based on Kleene Algebra in Isabelle/HOL
Schematic Kleene algebra with tests (SKAT) supports the equational verification of flowchart scheme equivalence and captures simple while programs with assignment statements. We formalise SKAT in Isabelle/HOL, using the quotient type package to reason equationally in this algebra. We apply this formalisation to a complex flowchart transformation proof from the literature. We extend SKAT with as...
متن کاملPrincipal Type Schemes for the Strict Type Assignment System
We study the strict type assignment system, a restriction of the intersection type discipline [6], and prove that it has the principal type property. We define, for a term M, the principal pair (of basis and type). We specify three operations on pairs, and prove that all pairs deducible for M can be obtained from the principal one by these operations, and that these map deducible pairs to deduc...
متن کاملA History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009